Temporary fix; increase NREAD_INPUT_EVENTS to 512.

diff --git a/src/keyboard.c b/src/keyboard.c
index 2a37e5592c0e4ecef5ae657c593a2f9b15913243..27813bdc7703248e07146c61c0f3bd77ac365de2 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -6574,7 +6574,7 @@ record_asynch_buffer_change ()
    a small buffer of input events -- and then poll for more input if we
    read a full buffer of input events.  */
 
-#define NREAD_INPUT_EVENTS 8
+#define NREAD_INPUT_EVENTS 512
 
 static int
 read_avail_input (expected)